منابع مشابه
Basic Theory of F-Bounded Quantification
System F-bounded is a second order typed lambda calculus, where the basic features of object-oriented languages can be naturally modelled. F-bounded extends the better known system F≤, in a way that provides an immediate solution for the treatment of the so-called “binary methods”. Although more powerful than F≤ and also quite natural, system F-bounded has only been superficially studied from a...
متن کاملBounded Sets in (f)-spaces
1. In the theory of (F)-spaces,1 the following two questions arise: (A) Let £ be a metrizable locally convex space; is it true that if every bounded set in E is separable, the space E is separable? (B) Let £ be a metrizable locally convex space, E its completion; is it true that every bounded set in E is contained in the closure of a bounded set of El The purpose of this note is to prove that, ...
متن کاملEstimation of Lower Bounded Scale Parameter of Rescaled F-distribution under Entropy Loss Function
We consider the problem of estimating the scale parameter &beta of a rescaled F-distribution when &beta has a lower bounded constraint of the form &beta&gea, under the entropy loss function. An admissible minimax estimator of the scale parameter &beta, which is the pointwise limit of a sequence of Bayes estimators, is given. Also in the class of truncated linear estimators, the admissible estim...
متن کاملTermination of system F-bounded (Note)
System F-bounded is a second order lambda calculus with subtyping. It extends system F≤ (see [Cardelli Wegner 85, Curien Ghelli 92, Ghelli 90, Cardelli et al. 91]) in that bounds of typed quantification may contain the bounded variable. In object-oriented terms, this feature allows one to write functions which accept parameters belonging to all the classes which inherit from one class. F-bounde...
متن کاملCSISZÁR’S f -DIVERGENCES - BASIC PROPERTIES
In this talk basic general properties of f -divergences, including their axiomatic, and some important classes of f -divergences are presented. Without essential loss of insight we restrict ourselves to discrete probability distributions and note that the extension to the general case relies strongly on the Lebesgue-Radon-Nikodym Theorem.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1999
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2802